ReP USP - Resultado da busca

Trabalho de evento
verBERT: automating brazilian case law document multi-label categorization using BERT (2021)
Serras, Felipe Ribas ; Finger, Marcelo
Source: Anais. Conference titles: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana - STIL. Unidade: IME
Subjects: ALGORITMOS PARA PROCESSAMENTO, PROCESSAMENTO DE LINGUAGEM NATURAL, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SERRAS, Felipe Ribas e FINGER, Marcelo. verBERT: automating brazilian case law document multi-label categorization using BERT. 2021, Anais.. Porto Alegre: SBC, 2021. Disponível em: https://doi.org/10.5753/stil.2021.17803. Acesso em: 17 maio 2024.
APA
Serras, F. R., & Finger, M. (2021). verBERT: automating brazilian case law document multi-label categorization using BERT. In Anais. Porto Alegre: SBC. doi:10.5753/stil.2021.17803
NLM
Serras FR, Finger M. verBERT: automating brazilian case law document multi-label categorization using BERT [Internet]. Anais. 2021 ;[citado 2024 maio 17 ] Available from: https://doi.org/10.5753/stil.2021.17803
Vancouver
Serras FR, Finger M. verBERT: automating brazilian case law document multi-label categorization using BERT [Internet]. Anais. 2021 ;[citado 2024 maio 17 ] Available from: https://doi.org/10.5753/stil.2021.17803
Trabalho de evento
Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021 (2021)
Casanova, Edresson ; Candido Junior, Arnaldo ; Fernandes Jr, Ricardo Corso; Finger, Marcelo ; Gris, Lucas Rafael Stefanel ; Ponti, Moacir Antonelli ; Silva, Daniel Peixoto Pinto da
Source: Proceedings. Conference titles: Annual Conference of the International Speech Communication Association - INTERSPEECH. Unidades: IME, ICMC
Subjects: LINGUÍSTICA COMPUTACIONAL, PROCESSAMENTO DE LINGUAGEM NATURAL, APRENDIZAGEM PROFUNDA, REDES NEURAIS, COVID-19
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CASANOVA, Edresson et al. Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021. 2021, Anais.. Baixas: ISCA, 2021. Disponível em: https://doi.org/10.21437/Interspeech.2021-1798. Acesso em: 17 maio 2024.
APA
Casanova, E., Candido Junior, A., Fernandes Jr, R. C., Finger, M., Gris, L. R. S., Ponti, M. A., & Silva, D. P. P. da. (2021). Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021. In Proceedings. Baixas: ISCA. doi:10.21437/Interspeech.2021-1798
NLM
Casanova E, Candido Junior A, Fernandes Jr RC, Finger M, Gris LRS, Ponti MA, Silva DPP da. Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021 [Internet]. Proceedings. 2021 ;[citado 2024 maio 17 ] Available from: https://doi.org/10.21437/Interspeech.2021-1798
Vancouver
Casanova E, Candido Junior A, Fernandes Jr RC, Finger M, Gris LRS, Ponti MA, Silva DPP da. Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021 [Internet]. Proceedings. 2021 ;[citado 2024 maio 17 ] Available from: https://doi.org/10.21437/Interspeech.2021-1798
Trabalho de evento
Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19 (2021)
Gauy, Marcelo Matheus ; Finger, Marcelo
Source: Anais. Conference titles: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana - STIL. Unidade: IME
Subjects: INSUFICIÊNCIA RESPIRATÓRIA, COVID-19, REDES NEURAIS, PROCESSAMENTO DE LINGUAGEM NATURAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GAUY, Marcelo Matheus e FINGER, Marcelo. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. 2021, Anais.. Porto Alegre: SBC, 2021. Disponível em: https://doi.org/10.5753/stil.2021.17793. Acesso em: 17 maio 2024.
APA
Gauy, M. M., & Finger, M. (2021). Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. In Anais. Porto Alegre: SBC. doi:10.5753/stil.2021.17793
NLM
Gauy MM, Finger M. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19 [Internet]. Anais. 2021 ;[citado 2024 maio 17 ] Available from: https://doi.org/10.5753/stil.2021.17793
Vancouver
Gauy MM, Finger M. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19 [Internet]. Anais. 2021 ;[citado 2024 maio 17 ] Available from: https://doi.org/10.5753/stil.2021.17793
Dissertação (Mestrado)
Classificação automática de documentos de características econômicas para defesa jurídica (2021)
Leme, Bruno; Finger, Marcelo (Orientador)
Unidade: IME
Subjects: APRENDIZADO COMPUTACIONAL, INTELIGÊNCIA ARTIFICIAL, LINGUAGEM NATURAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LEME, Bruno. Classificação automática de documentos de características econômicas para defesa jurídica. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05082021-152340/. Acesso em: 17 maio 2024.
APA
Leme, B. (2021). Classificação automática de documentos de características econômicas para defesa jurídica (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05082021-152340/
NLM
Leme B. Classificação automática de documentos de características econômicas para defesa jurídica [Internet]. 2021 ;[citado 2024 maio 17 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05082021-152340/
Vancouver
Leme B. Classificação automática de documentos de características econômicas para defesa jurídica [Internet]. 2021 ;[citado 2024 maio 17 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05082021-152340/
Parte de monografia/livro
Detecting respiratory insufficiency by voice analysis: the SPIRA project (2021)
Finger, Marcelo ; Aluísio, Sandra Maria ; Spazzapan, Evelyn Alves ; Berti, Larissa Cristina; Camargo Neto, Augusto César de; Candido Junior, Arnaldo ; Casanova, Edresson ; Svartman, Flaviane Romani Fernandes ; Ferreira, Renato Cordeiro ; Fernandes Jr, Ricardo; Goldman, Alfredo ; Gris, Lucas R; Leyton, Pedro; Levin, Anna Sara Shafferman ; Martins, Marcus Vinicíus Moreira; Queiroz, Marcelo Gomes de ; Quirino, J Henrique; Medeiros, Beatriz Raposo de ; Sabino, Ester Cerdeira ; Silva, Daniel da
Source: Acoustic communication : an interdisciplinary approach. Unidades: IME, ICMC, FFLCH, FM
Subjects: REDES NEURAIS, BIOMARCADORES, COVID-19
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo et al. Detecting respiratory insufficiency by voice analysis: the SPIRA project. Acoustic communication : an interdisciplinary approach. Tradução . São Paulo: Instituto de Psicologia. Universidade de São Paulo, 2021. . Disponível em: https://doi.org/10.11606/9786587596198. Acesso em: 17 maio 2024.
APA
Finger, M., Aluísio, S. M., Spazzapan, E. A., Berti, L. C., Camargo Neto, A. C. de, Candido Junior, A., et al. (2021). Detecting respiratory insufficiency by voice analysis: the SPIRA project. In Acoustic communication : an interdisciplinary approach. São Paulo: Instituto de Psicologia. Universidade de São Paulo. doi:10.11606/9786587596198
NLM
Finger M, Aluísio SM, Spazzapan EA, Berti LC, Camargo Neto AC de, Candido Junior A, Casanova E, Svartman FRF, Ferreira RC, Fernandes Jr R, Goldman A, Gris LR, Leyton P, Levin ASS, Martins MVM, Queiroz MG de, Quirino JH, Medeiros BR de, Sabino EC, Silva D da. Detecting respiratory insufficiency by voice analysis: the SPIRA project [Internet]. In: Acoustic communication : an interdisciplinary approach. São Paulo: Instituto de Psicologia. Universidade de São Paulo; 2021. [citado 2024 maio 17 ] Available from: https://doi.org/10.11606/9786587596198
Vancouver
Finger M, Aluísio SM, Spazzapan EA, Berti LC, Camargo Neto AC de, Candido Junior A, Casanova E, Svartman FRF, Ferreira RC, Fernandes Jr R, Goldman A, Gris LR, Leyton P, Levin ASS, Martins MVM, Queiroz MG de, Quirino JH, Medeiros BR de, Sabino EC, Silva D da. Detecting respiratory insufficiency by voice analysis: the SPIRA project [Internet]. In: Acoustic communication : an interdisciplinary approach. São Paulo: Instituto de Psicologia. Universidade de São Paulo; 2021. [citado 2024 maio 17 ] Available from: https://doi.org/10.11606/9786587596198
Dissertação (Mestrado)
Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos (2021)
Serras, Felipe Ribas; Finger, Marcelo (Orientador)
Unidade: IME
Subjects: ALGORITMOS PARA PROCESSAMENTO, LINGUÍSTICA COMPUTACIONAL, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SERRAS, Felipe Ribas. Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos . 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-07062021-135753/. Acesso em: 17 maio 2024.
APA
Serras, F. R. (2021). Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-07062021-135753/
NLM
Serras FR. Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos [Internet]. 2021 ;[citado 2024 maio 17 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-07062021-135753/
Vancouver
Serras FR. Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos [Internet]. 2021 ;[citado 2024 maio 17 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-07062021-135753/
Trabalho de evento
Text-to-hashtag generation using Seq2Seq learning (2021)
Camargo, Augusto ; Carvalho, Wesley; Peressim, Felipe ; Barzilay, Alan ; Finger, Marcelo
Source: Anais. Conference titles: Congresso da Sociedade Brasileira de Computação - CSBC. Unidade: IME
Subjects: PROCESSAMENTO DE LINGUAGEM NATURAL, COMÉRCIO ELETRÔNICO, PORTUGUÊS DO BRASIL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAMARGO, Augusto et al. Text-to-hashtag generation using Seq2Seq learning. 2021, Anais.. Porto Alegre: SBC, 2021. Disponível em: https://doi.org/10.5753/bresci.2021.15797. Acesso em: 17 maio 2024.
APA
Camargo, A., Carvalho, W., Peressim, F., Barzilay, A., & Finger, M. (2021). Text-to-hashtag generation using Seq2Seq learning. In Anais. Porto Alegre: SBC. doi:10.5753/bresci.2021.15797
NLM
Camargo A, Carvalho W, Peressim F, Barzilay A, Finger M. Text-to-hashtag generation using Seq2Seq learning [Internet]. Anais. 2021 ;[citado 2024 maio 17 ] Available from: https://doi.org/10.5753/bresci.2021.15797
Vancouver
Camargo A, Carvalho W, Peressim F, Barzilay A, Finger M. Text-to-hashtag generation using Seq2Seq learning [Internet]. Anais. 2021 ;[citado 2024 maio 17 ] Available from: https://doi.org/10.5753/bresci.2021.15797
Parte de monografia/livro
Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba” (2021)
Finger, Marcelo
Source: Inteligência artificial : avanços e tendências. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba”. Inteligência artificial : avanços e tendências. Tradução . São Paulo: Instituto de Estudos Avançados, 2021. . Disponível em: https://doi.org/10.11606/9786587773131. Acesso em: 17 maio 2024.
APA
Finger, M. (2021). Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba”. In Inteligência artificial : avanços e tendências. São Paulo: Instituto de Estudos Avançados. doi:10.11606/9786587773131
NLM
Finger M. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba” [Internet]. In: Inteligência artificial : avanços e tendências. São Paulo: Instituto de Estudos Avançados; 2021. [citado 2024 maio 17 ] Available from: https://doi.org/10.11606/9786587773131
Vancouver
Finger M. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba” [Internet]. In: Inteligência artificial : avanços e tendências. São Paulo: Instituto de Estudos Avançados; 2021. [citado 2024 maio 17 ] Available from: https://doi.org/10.11606/9786587773131
Dissertação (Mestrado)
Modelos neurais para regressão de séries temporais (2020)
Lira, Thiago Ildeu Albuquerque; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: INFERÊNCIA BAYESIANA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LIRA, Thiago Ildeu Albuquerque. Modelos neurais para regressão de séries temporais. 2020. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-10122020-165920/. Acesso em: 17 maio 2024.
APA
Lira, T. I. A. (2020). Modelos neurais para regressão de séries temporais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-10122020-165920/
NLM
Lira TIA. Modelos neurais para regressão de séries temporais [Internet]. 2020 ;[citado 2024 maio 17 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-10122020-165920/
Vancouver
Lira TIA. Modelos neurais para regressão de séries temporais [Internet]. 2020 ;[citado 2024 maio 17 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-10122020-165920/
Trabalho de evento
Robust ranking of brazilian Supreme Court decisions (2020)
Souza, Jackson José de ; Finger, Marcelo
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: REDES COMPLEXAS, ALGORITMOS E ESTRUTURAS DE DADOS, TRIBUNAL SUPREMO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Jackson José de e FINGER, Marcelo. Robust ranking of brazilian Supreme Court decisions. 2020, Anais.. Cham: Springer, 2020. Disponível em: https://doi.org/10.1007/978-3-030-61377-8_40. Acesso em: 17 maio 2024.
APA
Souza, J. J. de, & Finger, M. (2020). Robust ranking of brazilian Supreme Court decisions. In Proceedings. Cham: Springer. doi:10.1007/978-3-030-61377-8_40
NLM
Souza JJ de, Finger M. Robust ranking of brazilian Supreme Court decisions [Internet]. Proceedings. 2020 ;[citado 2024 maio 17 ] Available from: https://doi.org/10.1007/978-3-030-61377-8_40
Vancouver
Souza JJ de, Finger M. Robust ranking of brazilian Supreme Court decisions [Internet]. Proceedings. 2020 ;[citado 2024 maio 17 ] Available from: https://doi.org/10.1007/978-3-030-61377-8_40
Trabalho de evento-anais periodico
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (2020)
Finger, Marcelo ; Preto, Sandro
Source: Journal of Automated Reasoning. Conference titles: Joint Conference on Automated Reasoning - IJCAR. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e PRETO, Sandro. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10817-020-09558-9. Acesso em: 17 maio 2024. , 2020
APA
Finger, M., & Preto, S. (2020). Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10817-020-09558-9
NLM
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2024 maio 17 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
Vancouver
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2024 maio 17 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
Trabalho de evento-anais periodico
An efficient algorithm for representing piecewise linear functions into logic (2020)
Preto, Sandro ; Finger, Marcelo
Source: Electronic Notes in Theoretical Computer Science. Conference titles: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020. Unidade: IME
Subjects: LÓGICA FORMAL, SEMÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. An efficient algorithm for representing piecewise linear functions into logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2020.08.009. Acesso em: 17 maio 2024. , 2020
APA
Preto, S., & Finger, M. (2020). An efficient algorithm for representing piecewise linear functions into logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2020.08.009
NLM
Preto S, Finger M. An efficient algorithm for representing piecewise linear functions into logic [Internet]. Electronic Notes in Theoretical Computer Science. 2020 ; 351 167-186.[citado 2024 maio 17 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009
Vancouver
Preto S, Finger M. An efficient algorithm for representing piecewise linear functions into logic [Internet]. Electronic Notes in Theoretical Computer Science. 2020 ; 351 167-186.[citado 2024 maio 17 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009
Tese (Doutorado)
Analyzing natural language inference from a rigorous point of view (2020)
Salvatore, Felipe de Souza; Finger, Marcelo (Orientador) ; Hirata Júnior, Roberto (coorient)
Unidade: IME
Subjects: APRENDIZADO COMPUTACIONAL, PROCESSAMENTO DE LINGUAGEM NATURAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALVATORE, Felipe de Souza. Analyzing natural language inference from a rigorous point of view. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05012021-151600/. Acesso em: 17 maio 2024.
APA
Salvatore, F. de S. (2020). Analyzing natural language inference from a rigorous point of view (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05012021-151600/
NLM
Salvatore F de S. Analyzing natural language inference from a rigorous point of view [Internet]. 2020 ;[citado 2024 maio 17 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05012021-151600/
Vancouver
Salvatore F de S. Analyzing natural language inference from a rigorous point of view [Internet]. 2020 ;[citado 2024 maio 17 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05012021-151600/
Tese (Doutorado)
Deep neural semantic parsing: translating from natural language into SPARQL (2019)
Luz, Fabiano Ferreira; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LUZ, Fabiano Ferreira. Deep neural semantic parsing: translating from natural language into SPARQL. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/. Acesso em: 17 maio 2024.
APA
Luz, F. F. (2019). Deep neural semantic parsing: translating from natural language into SPARQL (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/
NLM
Luz FF. Deep neural semantic parsing: translating from natural language into SPARQL [Internet]. 2019 ;[citado 2024 maio 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/
Vancouver
Luz FF. Deep neural semantic parsing: translating from natural language into SPARQL [Internet]. 2019 ;[citado 2024 maio 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/
Parte de monografia/livro
Extending EL++ with linear constraints on the probability of axioms (2019)
Finger, Marcelo
Source: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Unidade: IME
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Extending EL++ with linear constraints on the probability of axioms. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Tradução . Cham: Springer, 2019. . Disponível em: https://doi.org/10.1007/978-3-030-22102-7_13. Acesso em: 17 maio 2024.
APA
Finger, M. (2019). Extending EL++ with linear constraints on the probability of axioms. In Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. doi:10.1007/978-3-030-22102-7_13
NLM
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2024 maio 17 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Vancouver
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2024 maio 17 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Trabalho de evento
A logical-based corpus for cross-lingual evaluation (2019)
Salvatore, Felipe de Souza; Finger, Marcelo ; Hirata Júnior, Roberto
Source: Proceedings. Conference titles: Workshop on Deep Learning Approaches for Low-Resource NLP - DeepLo. Unidade: IME
Assunto: APRENDIZAGEM PROFUNDA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALVATORE, Felipe de Souza e FINGER, Marcelo e HIRATA JÚNIOR, Roberto. A logical-based corpus for cross-lingual evaluation. 2019, Anais.. Stroudsburg: Association for Computational Linguistics (ACL), 2019. Disponível em: https://www.aclweb.org/anthology/D19-6103.pdf. Acesso em: 17 maio 2024.
APA
Salvatore, F. de S., Finger, M., & Hirata Júnior, R. (2019). A logical-based corpus for cross-lingual evaluation. In Proceedings. Stroudsburg: Association for Computational Linguistics (ACL). Recuperado de https://www.aclweb.org/anthology/D19-6103.pdf
NLM
Salvatore F de S, Finger M, Hirata Júnior R. A logical-based corpus for cross-lingual evaluation [Internet]. Proceedings. 2019 ;[citado 2024 maio 17 ] Available from: https://www.aclweb.org/anthology/D19-6103.pdf
Vancouver
Salvatore F de S, Finger M, Hirata Júnior R. A logical-based corpus for cross-lingual evaluation [Internet]. Proceedings. 2019 ;[citado 2024 maio 17 ] Available from: https://www.aclweb.org/anthology/D19-6103.pdf
Trabalho de evento-resumo
Sparse models: a tractable fragment for SAT, MAXSAT and PSAT (2019)
Finger, Marcelo
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Subjects: LÓGICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 17 maio 2024.
APA
Finger, M. (2019). Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 17 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 17 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento
Using neural models to perform inference (2019)
Salvatore, Felipe de Souza; Preto, Sandro ; Finger, Marcelo ; Hirata Júnior, Roberto
Source: Proceedings. Conference titles: International Workshop on Neural-Symbolic Learning and Reasoning - NeSy. Unidade: IME
Subjects: APRENDIZADO COMPUTACIONAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALVATORE, Felipe de Souza et al. Using neural models to perform inference. 2019, Anais.. Vienna: IJCAI, 2019. Disponível em: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view. Acesso em: 17 maio 2024.
APA
Salvatore, F. de S., Preto, S., Finger, M., & Hirata Júnior, R. (2019). Using neural models to perform inference. In Proceedings. Vienna: IJCAI. Recuperado de https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view
NLM
Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2024 maio 17 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view
Vancouver
Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2024 maio 17 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view
Trabalho de evento-resumo
Representing rational McNaughton functions via MODSAT relativisation (2019)
Preto, Sandro ; Finger, Marcelo
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Representing rational McNaughton functions via MODSAT relativisation. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 17 maio 2024.
APA
Preto, S., & Finger, M. (2019). Representing rational McNaughton functions via MODSAT relativisation. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Preto S, Finger M. Representing rational McNaughton functions via MODSAT relativisation [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 17 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Preto S, Finger M. Representing rational McNaughton functions via MODSAT relativisation [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 17 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Tese (Doutorado)
Independência parcial no problema da satisfazibilidade probabilística (2018)
Morais, Eduardo Menezes de; Finger, Marcelo (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA, PROBABILIDADE, PROGRAMAÇÃO MATEMÁTICA, PROGRAMAÇÃO LINEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAIS, Eduardo Menezes de. Independência parcial no problema da satisfazibilidade probabilística. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/. Acesso em: 17 maio 2024.
APA
Morais, E. M. de. (2018). Independência parcial no problema da satisfazibilidade probabilística (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
NLM
Morais EM de. Independência parcial no problema da satisfazibilidade probabilística [Internet]. 2018 ;[citado 2024 maio 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
Vancouver
Morais EM de. Independência parcial no problema da satisfazibilidade probabilística [Internet]. 2018 ;[citado 2024 maio 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Non normalized affiliation

Countries of institutions of collaboration